klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -- --
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -- -w
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -- f
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc ---presume-input-tty dangle symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc ---presume-input-tty f
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc ---presume-input-tty unwritable-dir
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc --interactive=never f
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc --verbose -i -r ir-1.tmp/0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc --verbose -r a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc --verbose -r t/a
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -I -R dir1-1
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -I -R dir2-1 dir2-2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -I file1-1
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -I file2-1 file2-2 file2-3
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -I file3-1 file3-2 file3-3 file3-4
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -R --interactive file1-1 file1-2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -R --interactive=always file4-1 file4-2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -R --interactive=never file2-1 file2-2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -R --interactive=once -f file1-1
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -R --interactive=once file3-1 file3-2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -R -f --interactive=once file4-1
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -f -- -- f -w f f
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -f b1.0 b1.0.b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -f existing-non-dir/f
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -f f-1.tmp/0/no-such-file
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -f file1 file2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -f out err
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -f out-t
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -f x y y~ y.~?~
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -fr r-4.tmp/0/.
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -fr r-4.tmp/0/..
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -fr r-4.tmp/0/../
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -fr r-4.tmp/0/./
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -fr r-4.tmp/0/.////
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -i dir
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -i i-1.tmp/0/a
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -ir d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -ir z
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -r
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -r /coreutils/cr-1/tests/rm/inaccessible.tmp/0/abs1 rel /coreutils/cr-1/tests/rm/inaccessible.tmp/0/abs2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -r /coreutils/cr-1/tests/rm/unread3.tmp/0/a /coreutils/cr-1/tests/rm/unread3.tmp/0/b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -r /coreutils/cr-1/tests/rm/unread3.tmp/0/d /coreutils/cr-1/tests/rm/unread3.tmp/0/e
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -r a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -r deep-1.tmp/0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf a
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf a a
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf backup-1.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf backup-dir.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf backup-is-src.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf c-option.0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf cp-HL.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf cp-deref.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf cp-i.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf cycle.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf d/f
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf dangling-symlink.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf deep-1.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf deref.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf dir-no-w.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf dir-nonrecur.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf dir-rm-dest.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf dot-rel.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf empty-inacc.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf equal-x.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf equals.0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf f-1.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf fail-eacces.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf fail-perm.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf file-perm-race.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf i-1.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf i-1.tmp/0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf i-never.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf i-no-r.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf ignorable.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf inacc
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf inaccessible.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf interactive-always.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf interactive-once.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf ir-1.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf ir-1.tmp/0 ir-1.I
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf isatty.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf minus.0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf no-x.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf octal.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf p-perm-0 /tmp/tmp0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf parent
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf parent-perm-race.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf perm-1.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf perm.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf preserve-root.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf r-1.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf r-2.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf r-3.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf r-3.tmp/0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf r-4.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf readdir-bug.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf rm1.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf rm2.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf rm3.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf rm4.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf rm5.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf rmdir.0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf separator.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf setgid.0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf sunos-1.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf t-slash.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf unread2.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc -rf unread3.tmp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  rm.bc dir
